In teoria delle categorie una trasformazione naturale è una freccia tra funtori "paralleli".
che rende possibile definire la categoria B A {\displaystyle {\mathcal {B}}^{\mathcal {A}}} di tutti i funtori
F : A ⟶ B {\displaystyle F:{\mathcal {A}}\longrightarrow {\mathcal {B}}}
tra due categorie A , B {\displaystyle {\mathcal {A}},{\mathcal {B}}} assegnate.
Developed by Tubidy